#ifndef BUFFER_UNDERFLOW_HPP
#define	BUFFER_UNDERFLOW_HPP

#include "cfg_visitor.hpp"
#include <set>
using namespace std;
class CFGvisitorFlatInfo;


class buffer_underflow {
public:
	buffer_underflow(const CFGvisitorFlatInfo& _flat, DetectionSign& _ds);
	set<label_t> underflow();
private:
	ASTnode* getPayload(label_t ell0) const;
	ASTnode* getPayload(CFGvertex *n) const;
	const CFGvisitorFlatInfo& flat;
	DetectionSign& ds;
};

#endif	/* BUFFER_UNDERFLOW_HPP */

